Optimal. Leaf size=240 \[ \frac{a^2 \left (n^2+9 n+12\right ) (a \sec (c+d x)+a)^{n-2} \text{Hypergeometric2F1}\left (1,n-2,n-1,\frac{1}{2} (\sec (c+d x)+1)\right )}{16 d (2-n)}-\frac{a^2 \left (-2 (1-n) (n+6) \sec (c+d x)-n^3-7 n^2+4 n+12\right ) (a \sec (c+d x)+a)^{n-2}}{8 d \left (n^2-3 n+2\right ) (1-\sec (c+d x))}-\frac{a^2 \sec ^3(c+d x) (a \sec (c+d x)+a)^{n-2}}{d (1-n) (1-\sec (c+d x))^2}+\frac{a^2 (n+3) \sec ^2(c+d x) (a \sec (c+d x)+a)^{n-2}}{4 d (1-n) (1-\sec (c+d x))^2} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.223967, antiderivative size = 240, normalized size of antiderivative = 1., number of steps used = 5, number of rules used = 5, integrand size = 21, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.238, Rules used = {3873, 100, 149, 146, 68} \[ \frac{a^2 \left (n^2+9 n+12\right ) (a \sec (c+d x)+a)^{n-2} \, _2F_1\left (1,n-2;n-1;\frac{1}{2} (\sec (c+d x)+1)\right )}{16 d (2-n)}-\frac{a^2 \left (-2 (1-n) (n+6) \sec (c+d x)-n^3-7 n^2+4 n+12\right ) (a \sec (c+d x)+a)^{n-2}}{8 d \left (n^2-3 n+2\right ) (1-\sec (c+d x))}-\frac{a^2 \sec ^3(c+d x) (a \sec (c+d x)+a)^{n-2}}{d (1-n) (1-\sec (c+d x))^2}+\frac{a^2 (n+3) \sec ^2(c+d x) (a \sec (c+d x)+a)^{n-2}}{4 d (1-n) (1-\sec (c+d x))^2} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3873
Rule 100
Rule 149
Rule 146
Rule 68
Rubi steps
\begin{align*} \int \csc ^5(c+d x) (a+a \sec (c+d x))^n \, dx &=-\frac{a^6 \operatorname{Subst}\left (\int \frac{x^4 (a-a x)^{-3+n}}{(-a-a x)^3} \, dx,x,-\sec (c+d x)\right )}{d}\\ &=-\frac{a^2 \sec ^3(c+d x) (a+a \sec (c+d x))^{-2+n}}{d (1-n) (1-\sec (c+d x))^2}+\frac{a^4 \operatorname{Subst}\left (\int \frac{x^2 (a-a x)^{-3+n} \left (3 a^2-a^2 n x\right )}{(-a-a x)^3} \, dx,x,-\sec (c+d x)\right )}{d (1-n)}\\ &=\frac{a^2 (3+n) \sec ^2(c+d x) (a+a \sec (c+d x))^{-2+n}}{4 d (1-n) (1-\sec (c+d x))^2}-\frac{a^2 \sec ^3(c+d x) (a+a \sec (c+d x))^{-2+n}}{d (1-n) (1-\sec (c+d x))^2}+\frac{a \operatorname{Subst}\left (\int \frac{x (a-a x)^{-3+n} \left (-2 a^4 (3+n)-a^4 (1-n) (6+n) x\right )}{(-a-a x)^2} \, dx,x,-\sec (c+d x)\right )}{4 d (1-n)}\\ &=\frac{a^2 (3+n) \sec ^2(c+d x) (a+a \sec (c+d x))^{-2+n}}{4 d (1-n) (1-\sec (c+d x))^2}-\frac{a^2 \sec ^3(c+d x) (a+a \sec (c+d x))^{-2+n}}{d (1-n) (1-\sec (c+d x))^2}-\frac{a^2 (a+a \sec (c+d x))^{-2+n} \left (12+4 n-7 n^2-n^3-2 (1-n) (6+n) \sec (c+d x)\right )}{8 d \left (2-3 n+n^2\right ) (1-\sec (c+d x))}-\frac{\left (a^4 \left (12+9 n+n^2\right )\right ) \operatorname{Subst}\left (\int \frac{(a-a x)^{-3+n}}{-a-a x} \, dx,x,-\sec (c+d x)\right )}{8 d}\\ &=\frac{a^2 \left (12+9 n+n^2\right ) \, _2F_1\left (1,-2+n;-1+n;\frac{1}{2} (1+\sec (c+d x))\right ) (a+a \sec (c+d x))^{-2+n}}{16 d (2-n)}+\frac{a^2 (3+n) \sec ^2(c+d x) (a+a \sec (c+d x))^{-2+n}}{4 d (1-n) (1-\sec (c+d x))^2}-\frac{a^2 \sec ^3(c+d x) (a+a \sec (c+d x))^{-2+n}}{d (1-n) (1-\sec (c+d x))^2}-\frac{a^2 (a+a \sec (c+d x))^{-2+n} \left (12+4 n-7 n^2-n^3-2 (1-n) (6+n) \sec (c+d x)\right )}{8 d \left (2-3 n+n^2\right ) (1-\sec (c+d x))}\\ \end{align*}
Mathematica [A] time = 5.72126, size = 316, normalized size = 1.32 \[ -\frac{2^{n-6} \tan ^4\left (\frac{1}{2} (c+d x)\right ) \left (\cot ^2\left (\frac{1}{2} (c+d x)\right )-1\right ) (\sec (c+d x)+1)^{-n} (a (\sec (c+d x)+1))^n \left (\cos ^2\left (\frac{1}{2} (c+d x)\right ) \sec (c+d x)\right )^n \left (-2 \left (n^3+4 n^2-15 n+6\right ) \cot ^2\left (\frac{1}{2} (c+d x)\right ) \text{Hypergeometric2F1}\left (1,1-n,2-n,\cos (c+d x) \sec ^2\left (\frac{1}{2} (c+d x)\right )\right )+\left (n^3+2 n^2-21 n+18\right ) \cos (c+d x) \csc ^2\left (\frac{1}{2} (c+d x)\right ) \text{Hypergeometric2F1}\left (1,2-n,3-n,\cos (c+d x) \sec ^2\left (\frac{1}{2} (c+d x)\right )\right )-\frac{1}{8} \csc ^6\left (\frac{1}{2} (c+d x)\right ) \left (n^2 \cos (3 (c+d x))+\left (-5 n^2+2 n+9\right ) \cos (c+d x)+\left (n^3+2 n^2-21 n+30\right ) \cos (2 (c+d x))+2 n \cos (3 (c+d x))-9 \cos (3 (c+d x))-n^3-6 n^2+41 n-46\right )\right )}{d (n-2) (n-1)} \]
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
Maple [F] time = 0.296, size = 0, normalized size = 0. \begin{align*} \int \left ( \csc \left ( dx+c \right ) \right ) ^{5} \left ( a+a\sec \left ( dx+c \right ) \right ) ^{n}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int{\left (a \sec \left (d x + c\right ) + a\right )}^{n} \csc \left (d x + c\right )^{5}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F] time = 0., size = 0, normalized size = 0. \begin{align*}{\rm integral}\left ({\left (a \sec \left (d x + c\right ) + a\right )}^{n} \csc \left (d x + c\right )^{5}, x\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int{\left (a \sec \left (d x + c\right ) + a\right )}^{n} \csc \left (d x + c\right )^{5}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]